Richard Constantine Homes

Constantine Tsinakis Han Zhang

The starting point of the present study is the interpretation of intuitionistic linear logic in Petri nets proposed by U. Engberg and G. Winskel. We show that several categories of order algebras provide equivalent interpretations of this logic, and identify the category of the so called strongly coherent quantales arising in these interpretations. The equivalence of the interpretations is inti...

Revisiting the Donation of Constantine

Techniques developed for synchronic text classification problems are applied to a significantly diachronic dataset. The scale of the temporal categories appears to matter. The problem addressed is that of using automated text classification methods to temporally locate The Donation of Constantine. The results reported do not contradict the analysis of Lorenzo Valla from 1440, claiming the docum...

The arthritis of Constantine IX.

Early clinical descriptions of rheumatoid arthritis are rare, and it has been suggested (Boyle and Buchanan, 1971) that for this reason the paucity of evidence of the disease in early skeletons (Copeman, 1969; Grossman, 1966; Ruffer, 1918; Smith and Jones, 1910), the lack of reference to the disease in the Bible or in the works of Shakespeare (Ehrlich, 1967), and the failure to depict the defor...

Remark on a result of Constantine

In [1], Constantine proposed that a variant of the codes constructed in Theorem 1 might be a useful substitute for Hadamard matrices at orders where no Hadamard matrix is known to exist. His main result is a plug-in construction for codes of order 4q with 8q codewords and minimum distance 2q−2 using a Goethals-Seidel type array. He provides component matrices for odd prime powers q. Theorem 1 s...

Remembering Richard [Obituary, Richard A.Newton]